[PIP2-like future input] Please enter:
- the context matrix,
0 2
- the bignum column (start at 0, -1 if no bignum),
-1
- the constraint matrix.
16 18
   1   0   0   0   0   0   0   0   0  -1   0   0   1   0   0   0   0   0
   1   0   0   0   0   0   0   0   0   0  -1   0   0   1   0   0   0   0
   1   0   0   0   0   0   0   0   0   0   0  -1   0   0   1   0   0   0
   1   0   0   0   0   0   0   0   0   0   0   0   0   1  -1   0   0   0
   1   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   1   0
   1   0   0   0   0   0   0   0   0   0   0   0   0   0   0   1   0   0
   0   0   0   0  -1   0   0   0   0   1  -1   0   0   0   0   0   0   0
   0   0   0   0   0  -1   0   0   0   0   0   1   0   0   0   0   0   0
   0  -1   0   0   0   0   0   0   0   0   1  -1   0   0   0   0   0   0
   0   0   0   0   0   0  -1   0   0   0   0   0   1  -1   0  -1   0   0
   0   0   0   0   0   0   0  -1   0   0   0   0   0   0   1   0   0   0
   0   0   0   0   0   0   0   0  -1   0   0   0   0   0   0   0   1   0
   0   0   0   0   0   0   0   0   0   0   0   0   0   1  -1   0   0   0
   0   0  -1   0   0   0   0   0   0   0   0   0   0   0   0   1  -1   0
   1   1   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0  -1
   1   0   1   1   0   0   0   0   0   0   0   0   0   0   0   0   0  -1

(list
 #[ 1]
 #[ 0]
 #[ 1]
 #[ 0]
 #[ 0]
 #[ 0]
 #[ 1]
 #[ 0]
 #[ 1]
 #[ 1]
 #[ 0]
 #[ 1]
 #[ 1]
 #[ 1]
 #[ 0]
 #[ 0]
)
